More theories implemented