added new theory assignment