Implement assignments function.
Implement tautology function.
Comment.