finished proof of add mandatory template
slight modification to FM theory
ck transformations instantiation