Abstract: Biological systems are modeled using formal languages and theorem provers and model checkers and term rewriting systems. The models include rules that express a substitution of at least one symbol by at least another symbol. The symbols represent elements of the biological system, and the rules are expressed in a manner that, for example, enables an inference engine to infer alternative results from the system based on an initial hypothetical state.

Abstract: A table attached along the edge of one longitudinal side by hinges to a horizontally disposed rail which is intended for attachment to a substantially vertical structure possesses two legs each attached by a hinge to the table proximate either opposed corner of the table distal the edge attached to the rail. Both legs are mounted to: (a) support the table in a utility position with each leg being disposed perpendicular to the substantially planar bottom table surface and (b) to be disposed substantially flush to the bottom table surface in a closed position thereby allowing the table to be rotated about the horizontal, longitudinal hinges to a vertical position hanging from the rail by means of said hinges. The length of each leg is substantially equivalent to the distance between the floor and the hinged longitudinal and horizontal rail attachment. The hinges for holding the legs in both closed and open positions lock in either position.