[S03] Implemented always and never
[S03] Finished