lab staticeql theory