Proper Templates: Using Semantics (Pending)