ina Hall South is again open for residential students who need to quarantine or isolate. In anticipation of a possible surge in cases as we come back to campus, students who need to quarantine or isolate whose primary home is within 300 miles of campus will need to make arrangements to move home within 24 hours to complete their quarantine and/or isolation period. A care team is in place and will provide comfort and support for students who are in MACC. The Health and Counseling Center team will follow current CDC recommendations for the duration requirements of quarantine and isolation.
In an effort to start the semester with as close to 0 COVID-19 cases as possible, we strongly suggest that ALL students take an at-home, rapid COVID test the morning before moving back to campus or attend your first class, whichever happens first. If your test is negative, proceed to campus; you do not need to submit your results. If your test yields a positive result, please stay home and inform the Health and Counseling Center by emailing |||EMAIL_ADDRESS||| In addition, students who have received an exemption from the vaccine or who are not fully vaccinated will be required to test on Monday, January 10, between 7 a.m. and noon, before their first Saint Mary’s class. Students must sign up ahead of time with the Health and Counseling Center for a time to be tested on campus. Students might be asked to remain at the Angela Athletic & Wellness Complex until their test results are available and they are cleared to proceed. The Health and Counseling Center will determine, based on information gathered from the student at the time of the appointment, if an antigen or a PCR test will be administered. The cost is $5 for the antigen test, and $40 for the PCR test. It will be charged to the student’s account.
Saint Mary’s students, faculty and staff have access to residence hall common areas and rooms, as do members of the tri-campus community, following regular visitation policies. Masking policies are applicable while in residence hall common areas (including elevators and stairwells) and residential rooms. Guests outside the tri-campus community will only be allowed in residence halls or in rooms during move-in, and must be masked at all times, regardless of vaccination status.
Screening testing for students who have received an exemption or who are not fully vaccinated will begin the week of January 17.
Unvaccinated students and employees, including those who are not yet fully vaccinated, are required to be tested weekly. Check your email in the next week for instructions on how to sign up for your weekly test appointment. The cost of the weekly test is $5 and will be charged to your student account.
Vaccinated employees and students will not be required to participate in screening testing at this time. If guidance from the CDC or local health officials changes, however, we may reinstate random screening testing for vaccinated populations.
On December 9, we announced the decision to extend the current vaccine requirements for enrollment to include the COVID-19 vaccine booster. Saint Mary’s students must provide proof of their booster by January 21, 2022 by uploading an image to Medicat.
Some students might not be eligible to receive a booster before the required deadline. If you received your second Pfizer or Moderna dose less than 6 months before January 21, 2022, or a Johnson & Johnson vaccine less than 2 months before this date, or have received COVID treatment that contraindicates receiving the booster, you are required to contact the Health and Counseling Center to determine your deadline to submit proof of the booster by emailing |||EMAIL_ADDRESS||| Please see the Vaccination Resource page on our website for more information. You are required to continue masking indoors until you receive your booster.
Employees are also required to provide proof of the COVID-19 vaccine booster, and should upload their booster information using this form. Some employees might not yet be eligible to receive a booster. If you received your second Pfizer or Moderna dose less than 6 months before February 1, 2022, or a Johnson & Johnson vaccine less than 2 months before this date, or have received COVID treatment that contraindicates receiving the booster, you are required to contact Human Resources to determine your deadline to submit proof of the booster by emailing |||EMAIL_ADDRESS||| You are required to continue masking indoors until you receive your booster.
We are all aware that the new variants are aggressive and contagious, and experts expect to see a surge in January due to the high volume of holiday travel. We ask for your patience and cooperation as we continue to navigate the expected and unexpected. If you have any questions, we invite you to visit our All Together website which outlines FAQs, along with Health and Safety Standards. As always, please don’t hesitate to email |||EMAIL_ADDRESS||| Name:
Microraptor Gui, meaning 'Little Thief'
Length:
About 1 metre (3ft)
Weight:
About 1kg (2.2lb)
Range:
Fossils have been found in eastern parts of Modern China
Feeding:
Carnivore eating meat, insects and worms
Period:
Early Cretaceous about 125 million years ago
sdfsdfsd
Microraptor Gui was a small saurischian (lizard hipped) dinosaur that lived during the early Cretaceous period about 125 million years ago.
Fossils of six specimens of Microraptor were found in China in 2003, causing a stir amongst palaeontologists; along with Archaeopteryx and Caudipteryx, Microraptor offers more evidence to support the theory that there is an evolutionary link between dinosaurs and birds.
Microraptor Gui had true asymmetrical flight feathers on both its arms and legs and, as with modern birds, there are two types: primary feathers, anchored to the hands, and secondary feathers, anchored to the arms.
The four wing layout, positioned in a biplane arrangement, suggests that Microraptor may have glided rather than flown, although it was probably capable of sustained level flight.
Microraptor may not have been able to perform powered flight, it is more likely that it glided using feathers on all four limbs
Microraptor Gui couldn't lift its arms vertically to allow it to take off from the ground like modern birds, so it probably launched itself from a high place, like a branch in a tree.
It's unlikely that Microraptor would have been a good runner; having feathers on its legs would have been a hindrance. It is argued that the animal would have been adapted to living in the trees, an argument that is supported by Microraptor's feet being similar to modern birds.
Birds are related to dromaeosaurs, part of a group of bipedal carnivorous dinosaurs called theropods. This group included Velociraptor, made famous by Steven Spielberg's film Jurassic Park./**
 * @file UEquality.h
 * @author <NAME> <<EMAIL>>
 * @author <NAME> <<EMAIL>>
 * @since 2014-10-20
 * @version 2014-10-22
 */

#pragma once

#include "UVariable.h"
#include "UFInstance.h"
#include "UTerm.h"

namespace carl
{
    /**
     * Implements an uninterpreted equality, that is an equality of either
     *     two uninterpreted function instances,
     *     two uninterpreted variables,
     *     or an uninterpreted function instance and an uninterpreted variable.
     */
    class UEquality {
        private:
            /// A flag indicating whether this equality shall hold (if being false) or its negation (if being true), hence the inequality, shall hold.
            bool mNegated = false;
            /// The left-hand side of this uninterpreted equality.
            UTerm mLhs = UTerm(UVariable(Variable::NO_VARIABLE, Sort()));
            /// The right-hand side of this uninterpreted equality.
            UTerm mRhs = UTerm(UVariable(Variable::NO_VARIABLE, Sort()));

        public:
            UEquality() = default;

            /**
             * Constructs an uninterpreted equality.
             * @param negated true, if the negation of this equality shall hold, which means that it is actually an inequality.
             * @param uvarA An uninterpreted variable, which is going to be the left-hand side of this uninterpreted equality.
             * @param uvarB An uninterpreted variable, which is going to be the right-hand side of this uninterpreted equality.
             */
            UEquality(UTerm uvarA, UTerm uvarB, bool negated):
                mNegated(negated),
	              mLhs(std::move(uvarA)),
		            mRhs(std::move(uvarB)) {
	              if(mLhs.isUVariable() && mRhs.isUVariable()) {
                    assert(mLhs.asUVariable().domain() == mRhs.asUVariable().domain());
                    if(mRhs.asUVariable() < mLhs.asUVariable()) {
                        std::swap(mLhs, mRhs);
                    }
                } else if(mLhs.isUVariable() && mRhs.isUFInstance()) {
                    assert(mLhs.asUVariable().domain() == mRhs.asUFInstance().uninterpretedFunction().codomain());
                } else if(mLhs.is